(0 20 4)(1 17 15)(2 19 7)(3 10 5)(6 18 8)(9 13 11)(12 16 14)
ALLOWS (11/8)-SEQUENCE
1: (4 15 20)

(0 20 1 17 15)(2 19 7)(3 10 5)(4)(6 18 8)(9 13 11)(12 16 14)
2: (2 19 7)

(0 20 1 17 15)(2)(3 10 5)(4)(6 18 8)(7)(9 13 11)(12 16 14)(19)
3: (6 18 8)

(0 20 1 17 15)(2)(3 10 5)(4)(6)(7)(8)(9 13 11)(12 16 14)(18)(19)
4: (1 17 20)

(0 20 15)(1)(2)(3 10 5)(4)(6)(7)(8)(9 13 11)(12 16 14)(17)(18)(19)